<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Froc" rel="Chapter" href="Froc.html">
<link title="Froc_afp" rel="Chapter" href="Froc_afp.html">
<link title="Froc_ddg" rel="Chapter" href="Froc_ddg.html">
<link title="Froc_dom" rel="Chapter" href="Froc_dom.html">
<link title="Froc_dom_anim" rel="Chapter" href="Froc_dom_anim.html"><title>Index of values</title>
</head>
<body>
<center><h1>Index of values</h1></center>
<table>
<tr><td align="left"><br></td></tr>
<tr><td><a href="Froc_ddg.html#VAL(>>=)">(&gt;&gt;=)</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VAL(>>=)">(&gt;&gt;=)</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">c &gt;&gt;= f</code> is an alternative notation for <code class="code">bind c f</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VAL(>>=)">(&gt;&gt;=)</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">b &gt;&gt;= f</code> is an alternative notation for <code class="code">bind b f</code>.
</div>
</td></tr>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Froc_dom.html#VALappendChild">appendChild</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom_anim.html#VALattach">attach</a> [<a href="Froc_dom_anim.html">Froc_dom_anim</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALattach_innerHTML">attach_innerHTML</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td align="left"><br>B</td></tr>
<tr><td><a href="Froc_ddg.html#VALbind">bind</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind">bind</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">bind c f</code> behaves as <code class="code">f</code> applied to the value of <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALbind">bind</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">bind b f</code> behaves as <code class="code">f</code> applied to the value of <code class="code">b</code>.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALbind2">bind2</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind2">bind2</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbind2">bind2</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbind3">bind3</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind3">bind3</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbind3">bind3</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbind4">bind4</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind4">bind4</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbind4">bind4</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbind5">bind5</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind5">bind5</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbind5">bind5</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbind6">bind6</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind6">bind6</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbind6">bind6</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbind7">bind7</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbind7">bind7</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbind7">bind7</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbindN">bindN</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbindN">bindN</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbindN">bindN</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALblift">blift</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift">blift</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">blift c ?eq f</code> is equivalent to <code class="code">bind c (fun v -&gt; return ?eq (f
     v))</code>, but is slightly more efficient.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALblift">blift</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">blift b ?eq f</code> is equivalent to <code class="code">bind b (fun v -&gt; return ?eq (f
     v))</code>, but is slightly more efficient.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALblift2">blift2</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift2">blift2</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALblift2">blift2</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALblift3">blift3</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift3">blift3</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALblift3">blift3</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALblift4">blift4</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift4">blift4</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALblift4">blift4</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALblift5">blift5</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift5">blift5</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALblift5">blift5</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALblift6">blift6</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift6">blift6</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALblift6">blift6</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALblift7">blift7</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALblift7">blift7</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALblift7">blift7</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALbliftN">bliftN</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALbliftN">bliftN</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALbliftN">bliftN</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td align="left"><br>C</td></tr>
<tr><td><a href="Froc_ddg.html#VALcatch">catch</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALcatch">catch</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">catch c f</code> behaves the same as <code class="code">c()</code> if <code class="code">c()</code> succeeds.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALcatch">catch</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">catch b f</code> behaves the same as <code class="code">b()</code> if <code class="code">b()</code> succeeds.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALcatch_lift">catch_lift</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALcatch_lift">catch_lift</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">catch_lift c ?eq f</code> is equivalent to <code class="code">catch c (fun e -&gt; return
     ?eq (f e))</code>, but is slightly more efficient.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALcatch_lift">catch_lift</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">catch_lift b ?eq f</code> is equivalent to <code class="code">catch b (fun e -&gt; return
     ?eq (f e))</code>, but is slightly more efficient.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALchanges">changes</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">changes b</code> fires the value of <code class="code">b</code> whenever it changes.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALcleanup">cleanup</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALcleanup">cleanup</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
When called in the context of a binder, adds a function to be
     called when the binder must be re-executed.
</div>
</td></tr>
<tr><td><a href="Froc_dom.html#VALclicks">clicks</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALcollect">collect</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">collect f b e</code> is an event that maintains an internal state <code class="code">s</code>
     (initialized to <code class="code">b</code>); whenever <code class="code">e</code> fires <code class="code">v</code>, <code class="code">s'</code> becomes <code class="code">f s
     v</code>, the event fires <code class="code">s'</code>, and <code class="code">s'</code> becomes the new internal
     state.
</div>
</td></tr>
<tr><td><a href="Froc_dom_anim.html#VALcolor">color</a> [<a href="Froc_dom_anim.html">Froc_dom_anim</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALcount">count</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">count e</code> behaves as the number of times <code class="code">e</code> has fired (since
     <code class="code">count</code> was called).
</div>
</td></tr>
<tr><td align="left"><br>D</td></tr>
<tr><td><a href="Froc_dom.html#VALdelay_b">delay_b</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALdelay_bb">delay_bb</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALdelay_e">delay_e</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALdelay_eb">delay_eb</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom_anim.html#VALdisk">disk</a> [<a href="Froc_dom_anim.html">Froc_dom_anim</a>]</td>
<td></td></tr>
<tr><td align="left"><br>F</td></tr>
<tr><td><a href="Froc_ddg.html#VALfail">fail</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALfail">fail</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">fail e</code> is a changeable that fails with the exception <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALfail">fail</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">fail e</code> is a behavior that fails with the exception <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALfilter">filter</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">filter p e</code> is an event that fires <code class="code">v</code> whenever <code class="code">e</code> fires <code class="code">v</code> and <code class="code">p v</code> is true.
</div>
</td></tr>
<tr><td align="left"><br>H</td></tr>
<tr><td><a href="Froc.html#VALhold">hold</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">hold v e</code> behaves as the last value fired by <code class="code">e</code>, or <code class="code">v</code> if <code class="code">e</code>
     has not yet fired a value (since <code class="code">hold</code> was called).
</div>
</td></tr>
<tr><td><a href="Froc.html#VALhold_result">hold_result</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">hold_result</code> is the same as <code class="code">hold</code> but initialized with a result
     instead of a value.
</div>
</td></tr>
<tr><td align="left"><br>I</td></tr>
<tr><td><a href="Froc_ddg.html#VALinit">init</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALinit">init</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
Initialize the library.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALinit">init</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Initialize the library.
</div>
</td></tr>
<tr><td><a href="Froc_dom.html#VALinput_value_b">input_value_b</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALinput_value_e">input_value_e</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Froc_ddg.html#VALlift">lift</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift">lift</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">lift ?eq f c</code> is equivalent to <code class="code">blift c ?eq f</code>; it can be
     partially applied to lift a function to the monad without yet
     binding it to a changeable.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALlift">lift</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">lift ?eq f b</code> is equivalent to <code class="code">blift b ?eq f</code>; it can be
     partially applied to lift a function to the monad without yet
     binding it to a behavior.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALlift2">lift2</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift2">lift2</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALlift2">lift2</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALlift3">lift3</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift3">lift3</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALlift3">lift3</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALlift4">lift4</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift4">lift4</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALlift4">lift4</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALlift5">lift5</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift5">lift5</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALlift5">lift5</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALlift6">lift6</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift6">lift6</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALlift6">lift6</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALlift7">lift7</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALlift7">lift7</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALlift7">lift7</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALliftN">liftN</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALliftN">liftN</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALliftN">liftN</a> [<a href="Froc.html">Froc</a>]</td>
<td></td></tr>
<tr><td align="left"><br>M</td></tr>
<tr><td><a href="Froc_ddg.html#VALmake">make</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALmake_event">make_event</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Makes a new channel for events of type <code class="code">'a</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALmap">map</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">map f e</code> is an event that fires <code class="code">f v</code> whenever <code class="code">e</code> fires <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALmerge">merge</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">merge es</code> is an event that fires whenever any of the events in <code class="code">e</code> fire.
</div>
</td></tr>
<tr><td><a href="Froc_dom.html#VALmouse_b">mouse_b</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALmouse_e">mouse_e</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td align="left"><br>N</td></tr>
<tr><td><a href="Froc_ddg.html#VALnotify">notify</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALnotify_b">notify_b</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Adds a listener for the result of a behavior, which is called
     whenever the result changes.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALnotify_e">notify_e</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Adds a listener on the channel, which is called whenever an event
     is sent on it.
</div>
</td></tr>
<tr><td align="left"><br>P</td></tr>
<tr><td><a href="Froc_ddg.html#VALpropagate">propagate</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALpropagate">propagate</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
Process any outstanding changes so all changeables are consistent.
</div>
</td></tr>
<tr><td align="left"><br>R</td></tr>
<tr><td><a href="Froc_ddg.html#VALread">read</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALread">read</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">read c</code> returns the value of <code class="code">c</code>, or raises an exception if <code class="code">c</code> fails.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALread">read</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">read b</code> returns the current value of <code class="code">b</code>; if <code class="code">b</code> fails with
     exception <code class="code">e</code> it raises <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALread_result">read_result</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALread_result">read_result</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Same as <code class="code">read</code> but returns a result instead of possibly raising
     an exception.
</div>
</td></tr>
<tr><td><a href="Froc_dom.html#VALreplaceNode">replaceNode</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALreturn">return</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALreturn">return</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">return v</code> is a changeable with initial value <code class="code">v</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALreturn">return</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">return e</code> is a behavior whose result is <code class="code">e</code>.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Froc.html#VALsend">send</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">send e v</code> calls the listeners of <code class="code">e</code> with <code class="code">Value v</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALsend_exn">send_exn</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">send_exn e x</code> calls the listeners of <code class="code">e</code> with <code class="code">Fail x</code>.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALsend_result">send_result</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">send_result e r</code> calls the listeners of <code class="code">e</code> with <code class="code">r</code>.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALset_debug">set_debug</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALset_debug">set_debug</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
Set a function for showing library debugging.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALset_debug">set_debug</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Set a function for showing library debugging.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALset_exn_handler">set_exn_handler</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc.html#VALset_exn_handler">set_exn_handler</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
Set an exception handler which is called on exceptions from
     notification functions.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALswitch">switch</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">switch b</code> behaves as whichever behavior is currently the value of <code class="code">b</code>.
</div>
</td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Froc_dom.html#VALticks">ticks</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_dom.html#VALticks_b">ticks_b</a> [<a href="Froc_dom.html">Froc_dom</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_ddg.html#VALtry_bind">try_bind</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALtry_bind">try_bind</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">try_bind c f g</code> behaves as <code class="code">bind (c()) f</code> if <code class="code">c()</code> succeeds.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALtry_bind">try_bind</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">try_bind b f g</code> behaves as <code class="code">bind (b()) f</code> if <code class="code">b()</code> succeeds.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALtry_bind_lift">try_bind_lift</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALtry_bind_lift">try_bind_lift</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">try_bind_lift c ?eq f g</code> is equivalent to <code class="code">try_bind c (fun v -&gt;
     return ?eq (f v)) (fun e -&gt; return ?eq (g e))</code>, but is slightly
     more efficient.
</div>
</td></tr>
<tr><td><a href="Froc.html#VALtry_bind_lift">try_bind_lift</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">try_bind_lift b ?eq f g</code> is equivalent to <code class="code">try_bind b (fun v -&gt;
     return ?eq (f v)) (fun e -&gt; return ?eq (g e))</code>, but is slightly
     more efficient.
</div>
</td></tr>
<tr><td align="left"><br>W</td></tr>
<tr><td><a href="Froc.html#VALwhen_true">when_true</a> [<a href="Froc.html">Froc</a>]</td>
<td><div class="info">
<code class="code">when_true b</code> fires whenever <code class="code">b</code> becomes true.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALwrite">write</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALwrite">write</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">write c v</code> updates the value of <code class="code">c</code>.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALwrite_exn">write_exn</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
<tr><td><a href="Froc_afp.html#VALwrite_exn">write_exn</a> [<a href="Froc_afp.html">Froc_afp</a>]</td>
<td><div class="info">
<code class="code">write_exn c e</code> updates <code class="code">c</code> to fail with exception
     <code class="code">e</code>.
</div>
</td></tr>
<tr><td><a href="Froc_ddg.html#VALwrite_result">write_result</a> [<a href="Froc_ddg.html">Froc_ddg</a>]</td>
<td></td></tr>
</table><br>
</body>
</html>